xxbasic, basic
\\[0ex]anti\_sym($T$;$R$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$AntiSym($T$;$x$,$y$.$R$($x$,$y$))